Uddyotakara's Logic and Predicate Logic

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Predicate logic

Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...

متن کامل

Bisimulations and Predicate Logic

Elementary ((rst-order) and non-elementary (set-theoretic) aspects of the largest bisimulation are considered , with a view towards analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding...

متن کامل

Predicate Logic with Anaphora

In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without d-dling with orthodox notions of scope and binding. In contrast with its predecessor dynamic predicate logic (Groenendijk and Stokhof 1991), the system of ...

متن کامل

Resolution for Predicate Logic

A substitution is a function θ from the set of σ-terms back to itself such that (writing function application on the right) cθ = c for each constant symbol c and f(t1, . . . , tk)θ = f(t1θ, . . . , tkθ) for each k-ary function symbol f . It is clear that the composition of two such substitutions (as functions) is also a substitution. We have previously considered substitutions of the form [t/x]...

متن کامل

Predicate Logic with Definitions

Predicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation definitions called abbreviations). Definiti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu)

سال: 2014

ISSN: 0019-4344,1884-0051

DOI: 10.4259/ibk.62.3_1156